PMAN4
SEL@KIT
Author: 金 浩 / Hao Jin
  • Research duration: 2017 - 2018
  • Total publications: 2
Publication counts by year
  • Preprints
  • Book
  • Translation
  • Academic Journal
  • International Conference
  • International Conference (Journal First)
  • Domestic Conference
  • Article
  • Technical report
  • Workshop
  • Thesis
  • Talk
  • Award
  • Patent
Publication counts by category
Research keywords
responsivenessanalysisfault-tolerantmultiprocessorapplicationprotocolsynthesistechniqueresolutionserviceinteractionproblemarraysconstrainedgenerationlocatingsmtsolverapproachsatisfiability-based
Publications
2018
International Conference

[1] Hao Jin, Takashi Kitamura, Eun-Hye Choi, and Tatsuhiro Tsuchiya, "A Satisfiability-Based Approach to Generation of Constrained Locating Arrays", Proc. of IEEE International Software Testing Verification and Validation Workshop (ICSTW) - 7th Workshop on Combinatorial Testing (IWCT 2018), pp. 285-294, April 2018. (Västerås, Sweden)

2017
Workshop

[1] Hao Jin, Eun-Hye Choi, and Tatsuhiro TSUCHIYA, "On the generation of constrained locating arrays using an SMT solver", TECHNICAL REPORT OF IEICE, pp. 55-60, October 2017.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

The publications displayed in this list is related to SEL@KIT members only.